主 ideal 整域 (PID)